-
1 Verknüpfungszeichen
сущ.1) комп. символ логической операции отношения, символ связки2) выч. знак логической операции отношения, знак связки -
2 Boolescher Operator
прил.1) тех. логический оператор2) электр. знак булевой операции, знак логической операции3) выч. булев оператор -
3 logischer Operator
прил.электр. знак логической операции, логический оператор -
4 Schaltsymbol
сущ.1) тех. знак, символ, условное обозначение (на схеме)2) выч. логический символ, условное обозначение логической операции или логической ячейки (на блок-схеме), условное символ логической операции или логической ячейки (на блок-схеме) -
5 Und-Zeichen
союз1) комп. знак операции (логической) И, знак операции (логической) конъюнкции, знак функции (логической) конъюнкции, символ операции (логической) И, символ функции (логической) И2) выч. знак функции (логической) И, символ операции (логической) конъюнкции, символ функции (логической) конъюнкции
См. также в других словарях:
Сложение по модулю 2 — Рис. 1 График побитового исключающего «или» Сложение по модулю 2 (логическое сложение, исключающее «ИЛИ», строгая дизъюнкция, XOR, поразрядное дополнение, побитовый комплемент) булева функция, а также … Википедия
Знаки математические — условные обозначения, предназначенные для записи математических понятий, предложений и выкладок. Например, √2 (квадратный корень из двух), 3 > 2 (три больше двух) и т.п. Развитие математической символики было тесно… … Большая советская энциклопедия
Амперсанд — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения … Википедия
инвертор — а; м. Устройство для преобразования постоянного электрического тока в переменный. * * * инвертор 1) электронное устройство, выходная величина (сигнал) которого повторяет (с усилением или без) входную величину (сигнал), но имеет противоположный… … Энциклопедический словарь
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
& — Амперсанд (иногда амперсенд; от англ. ampersand) название знака « ». Содержание 1 Происхождение 2 Название … Википедия
ОПРЕДЕЛЕНИЕ, — ОПРЕДЕЛЕНИЕ, дефиниция (от лат. «definitio» – «предел», «граница») – логическая процедура придания строго фиксированного смысла терминам языка. Т.к. значения терминов зависят от их смыслов, то всякий раз, придавая через определение какой либо… … Философская энциклопедия
Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где троичное множество, а неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества цифровые… … Википедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия